Mizar system - PDFSEARCH.IO - Document Search Engine

Mizar system
Results: 23

#	Item
11	Escape to ATP for Mizar Piotr Rudnicki∗ Josef Urban† University of Alberta Add to Reading List Source URL: pxtp2011.loria.fr Language: English - Date: 2011-08-12 05:51:25 Formal methods Automated theorem proving Mizar system QED manifesto Proof assistant Automated proof checking Automated reasoning Mizar and Alcor Mizar Theoretical computer science Mathematics Applied mathematics
12	Background Design E. Buunk / S.E. de Mink, HST image: NASA Paresce the brightest stars do not live alone Selma E. de Mink Add to Reading List Source URL: hubblesource.stsci.edu Language: English - Date: 2013-01-04 17:40:59 Space Star types Binary star Mizar and Alcor Star system Star Space Telescope Science Institute Alpha Centauri Cosmic distance ladder Astronomy Ursa Major constellation Universe
13	ACM SIGSAM Bulletin, Vol 38, No. 2, June[removed]Timely communication MKM: A New Interdisciplinary Field of Research William M. Farmer Add to Reading List Source URL: www.mizar.org Language: English - Date: 2010-03-05 21:10:07 Mathematics Knowledge management Mathematical logic Mizar system Mathematical software Knowledge Science Information science Mathematical knowledge management
14	C:uments and Settingszzinatoumentive brochurealogo Modulit SGAs x catalogo novembre 2010ULIT338LP M Add to Reading List Source URL: www.macrolux.co.uk Language: English - Date: 2012-07-10 03:48:56 Mizar system Aluminium Duct Mizar and Alcor Polycarbonate Roof Chemistry Optical materials Matter
15	From editor This issue presents proceedings of the workshop “30 Years of Mizar”1 held in September 18, 2004 in Białowie˙za (Poland). The workshop was devoted to celebrate 30 years of Mizar. It was affiliated to th Add to Reading List Source URL: markun.cs.shinshu-u.ac.jp Language: English - Date: 2005-10-19 00:07:07 Propositional calculus Formal languages Quantification Predicate logic Natural deduction Andrzej Trybulec Mizar system Well-formed formula Function Logic Mathematical logic Mathematics
16	From editor This issue presents proceedings of the workshop “30 Years of Mizar”1 held in September Add to Reading List Source URL: markun.cs.shinshu-u.ac.jp Language: English - Date: 2005-10-19 00:07:07 Propositional calculus Formal languages Quantification Predicate logic Natural deduction Andrzej Trybulec Mizar system Well-formed formula Function Logic Mathematical logic Mathematics
17	Chapter 1 Writing a Mizar article in Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2006-09-21 06:45:20 Mathematical logic Model theory Predicate logic Mizar system First-order logic Logical syntax Function Mizar and Alcor Well-formed formula Logic Mathematics Formal languages
18	STUDIES IN LOGIC, GRAMMAR AND RHETORIC[removed]Gradual Computerisation/Formalisation of Add to Reading List Source URL: mizar.org Language: English - Date: 2010-03-05 21:10:35 Automated proof checking Theoretical computer science Applied mathematics Mizar and Alcor Mizar Mathematics Proof theory Tarski–Grothendieck set theory Correctness Mizar system Formal methods Ursa Major constellation
19	PDF Document Add to Reading List Source URL: webdocs.cs.ualberta.ca Language: English - Date: 2005-07-02 01:48:02 Quantification Mizar system Andrzej Trybulec Mizar and Alcor Propositional calculus Function FO Universal quantification Natural deduction Logic Mathematical logic Mathematics
20	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-01-15 09:13:24 Deduction Mathematical logic Mathematical proofs Logical consequence Natural deduction Entailment Mizar system First-order logic Existential quantification Logic Mathematics Proof theory